transforming logic

См. также в других словарях:

• Linear logic — In mathematical logic, linear logic is a type of substructural logic that denies the structural rules of weakening and contraction . The interpretation is of hypotheses as resources : every hypothesis must be consumed exactly once in a proof.… …   Wikipedia

• Solid State Logic — Infobox Company company name = Solid State Logic Ltd company company type = Private limited 05356783cite web|url=http://wck2.companieshouse.gov.uk/bf7c9fe07febfa9fcc6fd72a9a56dabb/companysearch?disp=res frfsh=1152656377#result|title=Companies… …   Wikipedia

• algebra — /al jeuh breuh/, n. 1. the branch of mathematics that deals with general statements of relations, utilizing letters and other symbols to represent specific sets of numbers, values, vectors, etc., in the description of such relations. 2. any of… …   Universalium

• Frege , (Friedrich Ludwig) Gottlob — (1848–1925) German philosopher and mathematician Born at Wismar (now in Germany), Frege studied at the universities of Jena and Göttingen, where he obtained his PhD in 1873. He then returned to Jena as a lecturer, where he remained for the rest… …   Scientists

• Computer algebra system — A computer algebra system (CAS) is a software program that facilitates symbolic mathematics. The core functionality of a CAS is manipulation of mathematical expressions in symbolic form. Contents 1 Symbolic manipulations 2 Additional capabilities …   Wikipedia

• predicate calculus — Logic. See functional calculus. Also called predicate logic. [1945 50] * * * Part of modern symbolic logic which systematically exhibits the logical relations between propositions involving quantifiers such as all and some. The predicate calculus …   Universalium

• Co-creation — is a form of market or business strategy that emphasizes the generation and ongoing realization of mutual firm customer value. It views markets as forums for firms and active customers to share, combine and renew each other s resources and… …   Wikipedia

• Ockham’s world and future — Arthur Gibson PHILOSOPHICAL BIOGRAPHY Ockham was born in about 1285, certainly before 1290, probably in the village of Ockham, Surrey, near London. If his epitaph is accurate, he died on 10 April 1347. Yet Conrad of Megenberg, when writing to… …   History of philosophy

• Western architecture — Introduction       history of Western architecture from prehistoric Mediterranean cultures to the present.       The history of Western architecture is marked by a series of new solutions to structural problems. During the period from the… …   Universalium

• Scientific method — …   Wikipedia

• Shockwave (Transformers) — Shockwave is the name of several fictional characters in the various Transformers universes. Due to issues with Hasbro s trademark of the name Shockwave, some products were also released under the name Shockblast.Transformers: Generation… …   Wikipedia